⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

A Reverse Engineer's Anatomy of the macOS Boot Chain and Security Architecture
stack.int.mov·8h·
Discuss: Hacker News
🔌Operating system internals
Flag this post
Adaptive Clock Distribution Network Synchronization via Dynamic FPGA Reconfiguration & Bayesian Inference
dev.to·15h·
Discuss: DEV
🔍FPGA Verification
Flag this post
Unusual circuits in the Intel 386's standard cell logic
righto.com·13h·
Discuss: www.blogger.com
⚡Circuit Archaeology
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·20h·
Discuss: Substack
🔩Systems Programming
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Challenges compiling old C++ code on modern Linux
smalldatum.blogspot.com·13h·
Discuss: smalldatum.blogspot.com
🔗Static Linking
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
RISC-V Testing Lapse Resulted In Wrong MIPS RISC-V Vendor ID Landing In Linux 6.18
phoronix.com·7h
🧪RISC-V Fuzzing
Flag this post
Help me debug what happened to my proxmox node
reddit.com·5h·
Discuss: r/homelab
⚡Circuit Archaeology
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·19h·
Discuss: Substack
💻Programming languages
Flag this post
TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
arxiv.org·2d
🔧Hardware Verification
Flag this post
Nearly $19M Raised Before V1 Protocol Launch, This New Crypto May Be The Safest 2026 Investment
hackernoon.com·9h
🚀Indie Hacking
Flag this post
ELISA Project at Linux Plumbers Conference: Tokyo, Japan 2025
elisa.tech·4d
🔍eBPF
Flag this post
Windows ARM64 Internals: Deconstructing Pointer Authentication
preludesecurity.com·7h·
Discuss: Lobsters, Hacker News
👑RISC-V Privilege
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
🔤Type Theory
Flag this post
Rhadamanthys Loader Deobfuscation
cyber.wtf·3d
🧪CBOR Fuzzing
Flag this post
What To Know Before Building Fluent Bit Plugins With Go
thenewstack.io·1d
💧Liquid Types
Flag this post
Trying Out C++26 Executors
mropert.github.io·10h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post